Franco-Soviet space-flight: Up and away

Space - Aware Ambients and Processes ? Franco

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient calculus with bounded capacities and weighed processes, where migration and activation require space. A type system controls the dynamics of the calculus by providing static guarantees that th...

Soviet Space Stations: Achievements, Trends, and Outlook

It is a widely held belief that the Soviet space program deliberately follows the paths described in the early years of the century by Konstantin Tsiolkovsky. 1 Be that as it may, it is certainly possible to find close parallels between Tsiolkovsky’s writing and the course of events, but more likely these parallels result because modern engineers have arrived at similar solutions to the same pr...

Explaining Away in Weight Space

Explaining away has mostly been considered in terms of inference of states in belief networks. We show how it can also arise in a Bayesian context in inference about the weights governing relationships such as those between stimuli and reinforcers in conditioning experiments such as backward blocking. We show how explaining away in weight space can be accounted for using an extension of a Kalma...

Piling Up, or Floating Away

Magnesium and Space Flight

Magnesium is an essential nutrient for muscle, cardiovascular, and bone health on Earth, and during space flight. We sought to evaluate magnesium status in 43 astronauts (34 male, 9 female; 47 ± 5 years old, mean ± SD) before, during, and after 4-6-month space missions. We also studied individuals participating in a ground analog of space flight (head-down-tilt bed rest; n = 27 (17 male, 10 fem...